Boolean algebra questions